(0 15 11 6 3)(1 14 12 8 5)(2 7 4)(9 13 10)
ALLOWS (11/8)-SEQUENCE
1: (0 2 3)

(0)(1 14 12 8 5)(2 15 11 6 3 7 4)(9 13 10)
2: (3 7 15)

(0)(1 14 12 8 5)(2 15 4)(3 11 6)(7)(9 13 10)
3: (1 14 5)

(0)(1)(2 15 4)(3 11 6)(5 12 8)(7)(9 13 10)(14)
4: (3 11 6)

(0)(1)(2 15 4)(3)(5 12 8)(6)(7)(9 13 10)(11)(14)